
void loadIDT ();
void configurePIT ();

